OAI/Geometry/TamingCompatibility/DifferentialForms/HermitianSupportedSources.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TamingCompatibility.HermitianRadial.logShellSupported line 16
2. def OAI.TamingCompatibility.HermitianRadial.logInnerSupported line 20
3. def OAI.TamingCompatibility.HermitianRadial.logSourceSupported line 24
4. lemma OAI.TamingCompatibility.HermitianRadial.logSupported_reconstruction line 28
5. def OAI.TamingCompatibility.HermitianRadial.sqrtShellSupported line 38
6. def OAI.TamingCompatibility.HermitianRadial.sqrtInnerSupported line 42
7. def OAI.TamingCompatibility.HermitianRadial.sqrtSourceSupported line 46
8. lemma OAI.TamingCompatibility.HermitianRadial.sqrtSupported_reconstruction line 50