OAI/GroupTheory/SimpleAmenable/Simplicial/SimplicialConnectedProduct.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ConnectedProduct.pairLeft line 12
2. def OAI.ConnectedProduct.pairRight line 14
3. lemma OAI.ConnectedProduct.const_zero line 16
4. lemma OAI.ConnectedProduct.pairLeft_zero line 21
5. lemma OAI.ConnectedProduct.pairRight_zero line 25
6. instance OAI.ConnectedProduct.connected_tensor line 29