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