OAI/Topology/ArtinGroups/Complexes/ReindexHomOperator.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.reindexHomOperator line 12
2. def OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.sandwichHomOperator line 30
3. def OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.positiveHomOperator line 48
4. def OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.negativeHomOperator line 65