OAI/MathematicalPhysics/Heisenberg/BoundaryMesh.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Heisenberg.Surface.swap_preserves_boundary line 14
2. theorem OAI.Heisenberg.Surface.mesh_boundary_count line 22
3. lemma OAI.Heisenberg.Surface.mean_active_marks line 83
4. theorem OAI.Heisenberg.Surface.mean_boundary_cycles line 95