Theorem Set.setOf_injective

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_injectiveView on Github →