Def Algebra.IsPushout.cancelBaseChangeAux

Modification history

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