OAI/GroupTheory/SimpleAmenable/CentralCovers/CrossingCellActions.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SimpleAmenable.integralCutForm_neg line 19
2. def OAI.SimpleAmenable.InitialCoverSystem.PatchAtlas.concurrentPrimitives line 29
3. theorem OAI.SimpleAmenable.InitialCoverSystem.PatchAtlas.concurrentLaw line 37
4. def OAI.SimpleAmenable.InitialCoverSystem.PatchAtlas.margin line 41
5. theorem OAI.SimpleAmenable.InitialCoverSystem.PatchAtlas.crossing_cell_actions line 45
6. structure OAI.SimpleAmenable.InitialCoverSystem.LocalPatchTemplate line 144
7. theorem OAI.SimpleAmenable.InitialCoverSystem.LocalPatchTemplate.masked_actions line 175
8. theorem OAI.SimpleAmenable.InitialCoverSystem.grid_formal_patching_templates line 203