Mathlib v3 is deprecated. Go to Mathlib v4

Def encodable_of_left_injection

Modification history

2018-05-17 04:23
data/encodable.lean
feat(data/computability): primrec, denumerable
Deleted encodable_of_left_injectionView on Github →
2017-09-08 20:06
data/encodable.lean
feat(data/encodable): ported data/encodable.lean from Lean2
Added encodable_of_left_injectionView on Github →