OAI/GroupTheory/SimpleAmenable/PolygonGeometry/InwardPlanarGerms.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SimpleAmenable.finite_arrangement_germ_inward line 16
2. def OAI.SimpleAmenable.ConcurrentGeometry.positiveDecision line 67
3. def OAI.SimpleAmenable.ConcurrentGeometry.marginPolygon line 71
4. theorem OAI.SimpleAmenable.ConcurrentGeometry.positiveDecision_planar line 75
5. theorem OAI.SimpleAmenable.ConcurrentGeometry.marginPolygon_lift line 101