Mathlib Changelog
v4
Changelog
About
Github
Theorem
TrivSqZeroExt.snd_inr
Modification history
2023-03-17 16:27
Mathlib/Algebra/TrivSqZeroExt.lean
feat: port Algebra.TrivSqZeroExt (#2951) …
Added
TrivSqZeroExt.snd_inr
View on Github →