Mathlib Changelog
v4
Changelog
About
Github
Theorem
IsBaseChange.of_comp
Modification history
2024-10-01 14:56
Mathlib/RingTheory/IsTensorProduct.lean
feat(RingTheory/IsTensorProduct): cancel pushout square on the left (#17028) …
Added
IsBaseChange.of_comp
View on Github →