OAI/Geometry/Cannon/Flows/FlowSetup.lean
2 declarations, 0 contain sorry, 0 declared as axioms
- structure
OAI.CannonApprox.FlowSetupline 17 - theorem
OAI.CannonApprox.RecordData.make_flowline 52
OAI/Geometry/Cannon/Flows/FlowSetup.lean2 declarations, 0 contain sorry, 0 declared as axioms
OAI.CannonApprox.FlowSetup line 17OAI.CannonApprox.RecordData.make_flow line 52