OAI/Analysis/CoulombIonization/Fermionic/HalfScaleNormSq.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombLT.half_scale_norm_sq line 27
2. lemma OAI.CoulombLT.marginal_family_trace line 34
3. lemma OAI.CoulombLT.fermionFamily_trace line 46