OAI/GroupTheory/SimpleAmenable/Configurations/StageIteratedMaps2.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SimpleAmenable.PolygonObject.LabelledStage.Stage.map₂_inclusion_id line 15
2. lemma OAI.SimpleAmenable.PolygonObject.LabelledStage.Stage.map₂_inclusion_comp_obj line 48
3. lemma OAI.SimpleAmenable.PolygonObject.LabelledStage.Stage.map₂_inclusion_comp line 78
4. lemma OAI.SimpleAmenable.PolygonObject.LabelledStage.Stage.map₂_inclusion_forget_obj line 90
5. lemma OAI.SimpleAmenable.PolygonObject.LabelledStage.Stage.map₂_inclusion_forget line 119