Theorem Algebra.IsPushout.cancelBaseChange_tmul

Modification history

2025-10-24 11:00

Mathlib/RingTheory/IsTensorProduct.lean

feat(RingTheory/IsTensorProduct): add `IsPushout.cancelBaseChange` (#28772) …

Added Algebra.IsPushout.cancelBaseChange_tmul View on Github →