OAI/Topology/ArtinGroups/Complexes/SupportedCoefficientCycles.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.supportedCoefficientCycles line 11
2. def OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.secondaryOnCycles line 44
3. def OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.secondaryOnCohomology line 52
4. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.secondaryOnCohomology_injective line 61
5. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.supportedCoefficient_finrank_le line 76