Mathlib v3 is deprecated. Go to Mathlib v4

Def encodable_of_equiv

Modification history

2018-05-17 04:23
data/encodable.lean
feat(data/computability): primrec, denumerable
Deleted encodable_of_equivView on Github →
2017-10-24 22:31
data/encodable.lean
feat(data/num,data/nat/cast,...): nat,num,int,rat.cast, list stuff
Modified encodable_of_equivView on Github →
2017-09-08 20:06
data/encodable.lean
feat(data/encodable): ported data/encodable.lean from Lean2
Added encodable_of_equivView on Github →