OAI/Analysis/CoulombRadii/Packets/PhysicalInteriorTransfer.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.NeutralAtom.packet_ball_containment line 13
2. lemma OAI.NeutralAtom.physical_interior_packet_transfer line 29
3. lemma OAI.NeutralAtom.raw_population_asH1 line 57