OAI/GroupTheory/SimpleAmenable/Configurations/PolygonVerticalStrings.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SimpleAmenable.PolygonObject.verticalStringProperty line 18
2. abbrev OAI.SimpleAmenable.PolygonObject.VerticalString line 21
3. def OAI.SimpleAmenable.PolygonObject.verticalEvaluation line 23
4. def OAI.SimpleAmenable.PolygonObject.verticalConstant line 27
5. instance OAI.SimpleAmenable.PolygonObject.verticalEvaluation_full line 31
6. instance OAI.SimpleAmenable.PolygonObject.verticalEvaluation_faithful line 34
7. instance OAI.SimpleAmenable.PolygonObject.verticalEvaluation_essSurj line 39
8. instance OAI.SimpleAmenable.PolygonObject.verticalEvaluation_isEquivalence line 42
9. def OAI.SimpleAmenable.PolygonObject.verticalEquivalence line 44
10. def OAI.SimpleAmenable.PolygonObject.verticalReindex line 47
11. theorem OAI.SimpleAmenable.PolygonObject.verticalConstant_evaluation line 54
12. instance OAI.SimpleAmenable.PolygonObject.verticalConstant_isEquivalence line 57
13. theorem OAI.SimpleAmenable.PolygonObject.verticalConstant_reindex line 64