Theorem Algebra.TensorProduct.commRight_symm_tmul

Modification history

2026-05-25 15:44
Mathlib/RingTheory/TensorProduct/Maps.lean
fix: decls with a non-consecutive duplicate namespace (#39794) …
Added Algebra.TensorProduct.commRight_symm_tmulView on Github →