OAI/Topology/ArtinGroups/Complexes/PacketConsEquiv.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.packetConsEquiv line 12
2. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.packetCons_eq line 31
3. def OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.packetReindexEquiv line 57
4. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.packetReindex_eq line 62
5. def OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.packetEmptyEquiv line 83
6. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.packetEmpty_eq line 94