OAI/Topology/ArtinGroups/Quivers/ProbeLeaf.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.HarmonicArtin.ReversibleQuiver.probe_source_leaf line 11
2. lemma OAI.HarmonicArtin.ReversibleQuiver.probe_target_leaf line 21
3. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.probe_differential_row_zero line 31
4. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.probe_differential_col_zero line 55
5. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.classGeneratorArray_initial line 79
6. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.generatorArray_placement_pos line 87