Mathlib Changelog
v4
Changelog
About
Github
Theorem
le_symmDiff_sup_left
Modification history
2024-04-24 14:51
Mathlib/Order/SymmDiff.lean
feat: add 3 lemmas linking iSup and symmDiff (#12340) …
Added
le_symmDiff_sup_left
View on Github →