OAI/Algebra/AuslanderReiten/Homology/VectorCochainKunnethNaturality.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.ArExplicit.VectorCochain.totalZeroHomologyIso_π line 13
2. theorem OAI.ArExplicit.VectorCochain.totalZeroHomologyIso_natural line 26
3. theorem OAI.ArExplicit.VectorCochain.totalZeroHomologyIso_inv_natural line 38
4. def OAI.ArExplicit.VectorCochain.tensorRepresentativesNaturality line 50
5. theorem OAI.ArExplicit.VectorCochain.kunnethIso_inv_natural line 63
6. theorem OAI.ArExplicit.VectorCochain.kunnethIso_natural line 73