OAI/Geometry/CAT0Fillings/Slices/JointKernel.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CAT0Fillings.SliceReconstruction.TupleKernel line 18
2. lemma OAI.CAT0Fillings.SliceReconstruction.tuple_lipschitz_update line 22
3. lemma OAI.CAT0Fillings.SliceReconstruction.TupleKernel.of_boundedLip line 32
4. lemma OAI.CAT0Fillings.SliceReconstruction.TupleKernel.coord_const line 45
5. lemma OAI.CAT0Fillings.SliceReconstruction.TupleKernel.coord_linear line 53
6. lemma OAI.CAT0Fillings.SliceReconstruction.TupleKernel.coord_min line 66
7. lemma OAI.CAT0Fillings.SliceReconstruction.TupleKernel.coord_neg line 104
8. lemma OAI.CAT0Fillings.SliceReconstruction.TupleKernel.coord_max line 111
9. lemma OAI.CAT0Fillings.SliceReconstruction.TupleKernel.coord_limit line 131
10. lemma OAI.CAT0Fillings.SliceReconstruction.tupleKernel_lipLattice line 158
11. lemma OAI.CAT0Fillings.SliceReconstruction.tupleKernel_comp_pi line 181