Mathlib v3 is deprecated. Go to Mathlib v4

Theorem not_small_type

Modification history

2021-04-06 05:50
src/logic/small.lean
feat(logic/girard): Girard's paradox (#7026) …
Added not_small_typeView on Github →