Theorem not_lt_of_subsingleton

Modification history

2023-07-31 15:32
Mathlib/Order/Basic.lean
feat(Order/Basic): simp lemmas about Subsingleton (#6092)
Added not_lt_of_subsingletonView on Github →