Mathlib v3 is deprecated. Go to Mathlib v4

Theorem nonempty_encodable

Modification history

2022-08-30 13:54

src/logic/encodable/basic.lean

chore(analysis, measure_theory): Fix lint (#16216) …

Added nonempty_encodable View on Github →