OAI/RingTheory/Multiplicity/MinimalComplexReduction.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Lech.complexRankSum line 14
2. def OAI.Lech.IsMinimalComplex line 17
3. lemma OAI.Lech.nonminimal_complex_reduction line 21