OAI/Analysis/CoulombRadii/Packets/PatchPacketResponse.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Coulomb.master_kernel_patch_response line 15
2. theorem OAI.Coulomb.master_kernel_patch_array_response line 87
3. lemma OAI.Coulomb.shifted_negative_feedback_mono line 128
4. theorem OAI.Coulomb.tf_response_center_exclusion line 142