Mathlib v3 is deprecated. Go to Mathlib v4

Def erased.out_type

Modification history

2020-05-31 17:05

src/data/erased.lean

chore(*): update to lean 3.15.0 (#2851) …

Modified erased.out_type View on Github →

2018-04-07 22:38

data/erased.lean

feat(data/erased): VM-erased data type

Added erased.out_type View on Github →