OAI/MathematicalPhysics/ContinuumCoulomb/OneParticle/RationalContactMatrix.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The rational contact coordinates control the complete physical hopping matrix in the electron index order, including every nonedge entry.

  1. theorem OAI.ContinuumCoulomb.ContactCalibratedGeometry.full_matrix_error line 13