OAI/Geometry/TamingCompatibility/DifferentialForms/RadialJetConstants.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.TamingCompatibility.RadialPotential.finite_radialJet_constant line 14
2. lemma OAI.TamingCompatibility.RadialPotential.radialJet_rescale line 27
3. lemma OAI.TamingCompatibility.RadialPotential.logShellSchwartz_uniform_inputs line 51
4. lemma OAI.TamingCompatibility.RadialPotential.logInnerSchwartz_uniform_inputs line 80
5. lemma OAI.TamingCompatibility.RadialPotential.sqrtShellSchwartz_uniform_inputs line 109
6. lemma OAI.TamingCompatibility.RadialPotential.sqrtInnerSchwartz_uniform_inputs line 138