Def Algebra.IsPushout.cancelBaseChange

Modification history

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