OAI/RingTheory/Multiplicity/TensorQuotientCommutation.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Lech.TensorIdeal.tensorReductionEquiv line 16
2. lemma OAI.Lech.TensorIdeal.tensorReductionEquiv_tmul line 25
3. def OAI.Lech.TensorIdeal.tensorReductionIso line 31