Theorem le_symmDiff_sup_right

Modification history

2024-04-24 14:51
Mathlib/Order/SymmDiff.lean
feat: add 3 lemmas linking iSup and symmDiff (#12340) …
Added le_symmDiff_sup_rightView on Github →