Theorem sdiff_right_inj

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) …
Added sdiff_right_injView on Github →