Theorem Algebra.IsPushout.cancelBaseChangeAux_symm_tmul

Modification history

2025-10-24 11:00
Mathlib/RingTheory/IsTensorProduct.lean
feat(RingTheory/IsTensorProduct): add `IsPushout.cancelBaseChange` (#28772) …
Added Algebra.IsPushout.cancelBaseChangeAux_symm_tmulView on Github →