OAI/Geometry/ProjectionVolume/CoordinateDrop.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Paper092.coordinateDrop line 12
2. theorem OAI.Paper092.coordinateDrop_apply line 17
3. theorem OAI.Paper092.coordinateDrop_facetEmbedding line 20
4. theorem OAI.Paper092.facetEmbedding_mem_diagonal_tangent line 25
5. def OAI.Paper092.diagonalTangentEmbedding line 31
6. def OAI.Paper092.diagonalCoordinateDrop line 35
7. theorem OAI.Paper092.diagonalCoordinateDrop_comp_embedding line 39
8. theorem OAI.Paper092.diagonalCoordinateDrop_normDet line 44
9. theorem OAI.Paper092.coordinateDrop_diagonalFacet line 64