OAI/GroupTheory/SimpleAmenable/Homology/BinaryPullback.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ComponentStable.pullD line 13
2. lemma OAI.ComponentStable.pullD_comp line 16
3. lemma OAI.ComponentStable.pullD_congr line 20
4. lemma OAI.ComponentStable.pullD_left line 25
5. lemma OAI.ComponentStable.pullD_right line 30
6. lemma OAI.ComponentStable.pairLeft_tensor line 35
7. lemma OAI.ComponentStable.pairRight_tensor line 40
8. lemma OAI.ComponentStable.inclusion_pullD line 45
9. lemma OAI.ComponentStable.pullD_kernel_value line 55