OAI/Algebra/AuslanderReiten/Cocycles/CocycleData.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.ArExplicit.CocycleData.MulMonomial line 7
2. structure OAI.ArExplicit.CocycleData.TripleMonomial line 14
3. def OAI.ArExplicit.CocycleData.multiplication line 22
4. def OAI.ArExplicit.CocycleData.cochain line 120