Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-11-10 10:07
92f0def2
View on Github →
feat: Diagonality of
Sym2.map
(
#8183
)
Estimated changes
Modified
Mathlib/Data/Sym/Sym2.lean
added
theorem
Sym2.isDiag_map