OAI/RingTheory/Multiplicity/KoszulPowerGrowth.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Lech.Koszul.length_le_sum_of_exact line 13
2. lemma OAI.Lech.Koszul.length_cone_comp_le line 29
3. lemma OAI.Lech.Koszul.length_cone_pow_le line 48
4. lemma OAI.Lech.Koszul.length_tensor_powers_le line 72