OAI/GroupTheory/SimpleAmenable/CentralCovers/LocalArrangementAssignments.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.SimpleAmenable.cutPolygon line 16
  2. def OAI.SimpleAmenable.localCutFamily line 19
  3. theorem OAI.SimpleAmenable.localCutFamily_assignment_realized line 25
  4. theorem OAI.SimpleAmenable.localCutFamily_range_subset line 68
  5. def OAI.SimpleAmenable.polygonBooleanPullback line 82
  6. def OAI.SimpleAmenable.polygonFormalMask line 95
  7. theorem OAI.SimpleAmenable.polygonFormalMask_mem line 99
  8. theorem OAI.SimpleAmenable.polygonBooleanPullback_formalMask line 107
  9. def OAI.SimpleAmenable.localPolygonFamily line 115
  10. theorem OAI.SimpleAmenable.localPolygonFamily_assignment_realized line 121
  11. theorem OAI.SimpleAmenable.localPolygonFamily_range_subset line 138
  12. theorem OAI.SimpleAmenable.localCutFamily_locally_eq line 149
  13. theorem OAI.SimpleAmenable.localPolygonFamily_locally_eq line 187