OAI/MathematicalPhysics/Heisenberg/BoundaryWitness.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Heisenberg.Surface.cycle_boundary_witness line 13
2. def OAI.Heisenberg.Surface.hitClasses line 34
3. def OAI.Heisenberg.Surface.witnesses line 37
4. lemma OAI.Heisenberg.Surface.hitClasses_le_witnesses line 40
5. lemma OAI.Heisenberg.Surface.witness_count line 51
6. lemma OAI.Heisenberg.Surface.missing_add_hit line 62