OAI/GroupTheory/SimpleAmenable/Configurations/StageDiagramCoverage.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.SimpleAmenable.PolygonObject.LabelledStage.Stage.Interval line 14
2. abbrev OAI.SimpleAmenable.PolygonObject.LabelledStage.Stage.Triple line 15
3. lemma OAI.SimpleAmenable.PolygonObject.LabelledStage.Stage.exists_lift_diagram line 17
4. def OAI.SimpleAmenable.PolygonObject.LabelledStage.Stage.liftDiagramHom line 37
5. theorem OAI.SimpleAmenable.PolygonObject.LabelledStage.Stage.exists_lift_diagram_family line 52