OAI/Analysis/CoulombRadii/FormDomain/PhysicalEnsemble.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Coulomb.PartlyAntisymmetric.outer_symmetry line 16
2. lemma OAI.Coulomb.patch_packet_expected_bound line 27
3. lemma OAI.Coulomb.ensemble_fineLocalizationError line 60
4. theorem OAI.Coulomb.physical_ensemble_count line 74