OAI/Geometry/CAT0Fillings/Reconstruction/GraphCharts.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.CAT0Fillings.SliceReconstruction.FullGraphIndex line 19
2. theorem OAI.CAT0Fillings.SliceReconstruction.fullSlice_compact_atom_graphs line 21
3. def OAI.CAT0Fillings.SliceReconstruction.jointGraphChart line 97
4. lemma OAI.CAT0Fillings.SliceReconstruction.jointGraphChart_image line 107
5. lemma OAI.CAT0Fillings.SliceReconstruction.jointGraphChart_base_jacobian line 111
6. def OAI.CAT0Fillings.SliceReconstruction.jointGraphFunction line 132
7. lemma OAI.CAT0Fillings.SliceReconstruction.jointGraphChart_base_action line 135