Theorem eq_of_sdiff_eq_sdiff

Modification history

2026-04-27 10:44
Mathlib/Order/BooleanAlgebra/Basic.lean
feat(Order): add sdiff_left_inj, rename eq_of_sdiff_eq_sdiff (#38371) …
Modified eq_of_sdiff_eq_sdiffView on Github →
2022-12-02 17:14
Mathlib/Order/BooleanAlgebra.lean
feat: port Order.BooleanAlgebra (#794) …
Added eq_of_sdiff_eq_sdiffView on Github →