Theorem sdiff_left_inj

Modification history

2026-04-27 10:44
Mathlib/Order/Heyting/Basic.lean
feat(Order): add sdiff_left_inj, rename eq_of_sdiff_eq_sdiff (#38371) …
Added sdiff_left_injView on Github →