OAI/Geometry/Borsuk/Simplicial/BoolCubeConstant.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.BorsukNine.SimplicialChains.bool_cube_constant line 10
2. lemma OAI.BorsukNine.SimplicialChains.cross_cycle_coeff_constant line 45
3. lemma OAI.BorsukNine.SimplicialChains.crossFundamental_coeff line 52
4. lemma OAI.BorsukNine.SimplicialChains.cross_top_cycle_eq line 74
5. lemma OAI.BorsukNine.SimplicialChains.cross_characteristicDegree_eq_coeff line 95