OAI/Topology/ArtinGroups/Complexes/PacketPermExterior.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.classPacketPerm_exterior line 15
2. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.classPacketPerm_inverse_exterior line 45
3. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.classLevelArray_initial line 55