OAI/Geometry/Cannon/Flows/FlowPaid.lean
2 declarations, 0 contain sorry, 0 declared as axioms
- def
OAI.CannonApprox.FlowPaidline 19 - theorem
OAI.CannonApprox.FlowSetup.no_pair_dataline 27
OAI/Geometry/Cannon/Flows/FlowPaid.lean2 declarations, 0 contain sorry, 0 declared as axioms
OAI.CannonApprox.FlowPaid line 19OAI.CannonApprox.FlowSetup.no_pair_data line 27