Theorem IsConcreteLE.not_le_iff_exists

Modification history

2026-09-15 16:52
Mathlib/Data/SetLike/Basic.lean
refactor(Data/SetLike): generalise `IsConcreteLE` (#42666) …
Added IsConcreteLE.not_le_iff_existsView on Github →