OAI/RingTheory/Multiplicity/TorsionZeroStability.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Lech.TorsionLength.DirectSumZero line 14
2. lemma OAI.Lech.TorsionLength.zero_of_surjective_torsion line 22
3. lemma OAI.Lech.TorsionLength.zero_of_injective_torsion line 29
4. lemma OAI.Lech.TorsionLength.iSup_zero_torsion line 38
5. lemma OAI.Lech.TorsionLength.zero_of_ranges_torsion line 56
6. lemma OAI.Lech.TorsionLength.tensor_torsion_right line 73
7. lemma OAI.Lech.TorsionLength.tensor_zero_right_torsion line 85
8. lemma OAI.Lech.TorsionLength.tensor_map_kernel_zero_torsion line 99