OAI/Geometry/HeilbronnTriangle/PlaneFiberAssembly.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.Problem355.PlaneFiberAssembly.Vec line 12
2. abbrev OAI.Problem355.PlaneFiberAssembly.Triple line 13
3. theorem OAI.Problem355.PlaneFiberAssembly.triple_count_of_plane_counts line 15