Theorem SetLike.mem_of_subsingleton

Modification history

2026-02-01 18:45
Mathlib/Data/SetLike/Basic.lean
refactor: remove order instances from `SetLike` (#32984) …
Modified SetLike.mem_of_subsingletonView on Github →
2025-08-18 11:37
Mathlib/Data/SetLike/Basic.lean
feat(Analysis/NormedSpace/...): `Algebra.IsCentral R (V →L[R] V)` (#28209) …
Added SetLike.mem_of_subsingletonView on Github →