OAI/Geometry/ProjectionVolume/CubeFibers.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Paper092.lineFiber line 13
2. theorem OAI.Paper092.lineFiber_add_segment line 16
3. theorem OAI.Paper092.projection_add_parallel_segment line 36
4. theorem OAI.Paper092.cube_lineFiber_eq_interval line 50
5. theorem OAI.Paper092.cube_lineFiber_extrusion_intervals line 66
6. theorem OAI.Paper092.interval_line_image line 77
7. theorem OAI.Paper092.interval_line_length_increase line 84
8. def OAI.Paper092.lineFiberLength line 95
9. theorem OAI.Paper092.lineFiberLength_of_eq_Icc line 98
10. theorem OAI.Paper092.cube_lineFiberLength_extrusion line 104