Mathlib Changelog
v4
Changelog
About
Github
Theorem
piRightHom_one
Modification history
2025-06-03 14:09
Mathlib/RingTheory/TensorProduct/Pi.lean
chore(RingTheory/TensorProduct): more product compatibilities (#24380)
Deleted
piRightHom_one
View on Github →
2024-11-28 19:04
Mathlib/RingTheory/TensorProduct/Pi.lean
feat(Algebra/Category): `Under.pushout f` is left-exact if `f` is flat. (#19213)
Added
piRightHom_one
View on Github →