OAI/GroupTheory/SimpleAmenable/Homology/RegularLiftFaces.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.RegularCoordinates.trunc_lift line 13
2. def OAI.RegularCoordinates.arrow line 25
3. lemma OAI.RegularCoordinates.arrow_one line 26
4. def OAI.RegularLabels.singleLabel line 34
5. lemma OAI.RegularLabels.singleLabel_map_general line 36
6. def OAI.RegularLabels.faceWeight line 48
7. lemma OAI.RegularLabels.tail_face line 50
8. lemma OAI.RegularLabels.singleLabel_face line 57
9. lemma OAI.RegularLabels.singleLabel_action line 65