OAI/Algebra/AuslanderReiten/Cocycles/
158 declarations, 0 contain sorry, 0 declared as axioms; 19 files
Files
- CocycleCertificate.lean 25 declarations
- CocycleClosure.lean 2 declarations
- CocycleCorners.lean 19 declarations
- CocycleData.lean 4 declarations
- CocycleDetector.lean 12 declarations
- CocycleDifferential.lean 6 declarations
- CocycleExt.lean 3 declarations
- CocycleFormula.lean 9 declarations
- CocycleFunctor.lean 1 declarations
- CocycleRelative.lean 9 declarations
- CocycleTwist.lean 7 declarations
- RawCocycleProducts.lean 6 declarations
- ReversedCocycleMap.lean 8 declarations
- SourceCocycleNaturality.lean 4 declarations
- SparseCocycle.lean 12 declarations
- SparseParity.lean 8 declarations
- TwistedBoundary.lean 5 declarations
- TwistedBoundaryData.lean 8 declarations
- TwistedBoundaryFormula.lean 10 declarations