OAI/Topology/ArtinGroups/Complexes/Capped.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.degree_token_support line 12
2. def OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.CappedOn line 55
3. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.differential_token_level line 58
4. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.capped_incoming_token line 68
5. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.extendLayer_coefficient line 81
6. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.capped_matrixTwo_mul_extend line 92
7. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.extend_restrictLayer line 113
8. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.extend_mul_matrixTwo_support line 125