Mathlib v3 is deprecated. Go to Mathlib v4

Theorem not_subsingleton

Modification history

2020-10-11 16:27
src/logic/nontrivial.lean
chore(*): assorted lemmas (#4566) …
Added not_subsingletonView on Github →