OAI/Geometry/CAT0Fillings/Reconstruction/BorelAtoms.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.CAT0Fillings.SliceReconstruction.JointPieceIndex line 20
2. theorem OAI.CAT0Fillings.SliceReconstruction.common_zero_current_pieces line 22
3. theorem OAI.CAT0Fillings.SliceReconstruction.joint_integer_atom_graphs line 83
4. lemma OAI.CAT0Fillings.SliceReconstruction.UnitRepresentation.action line 143
5. lemma OAI.CAT0Fillings.SliceReconstruction.UnitRepresentation.controls line 186
6. lemma OAI.CAT0Fillings.SliceReconstruction.UnitRepresentation.massMeasure_compl_eq_zero line 200
7. lemma OAI.CAT0Fillings.SliceReconstruction.UnitRepresentation.borelAction_zero line 216