Theorem Set.setOf_inj

Modification history

2025-03-21 20:58
Mathlib/Data/Set/Basic.lean
feat(List): a list contains a single element iff it's a singleton (#20488) …
Added Set.setOf_injView on Github →