Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-09-20 17:45 98152392

View on Github →

feat(logic/basic): more coe_trans instances

Estimated changes

added theorem coe_fn_coe_base
added theorem coe_fn_coe_trans
added theorem coe_sort_coe_base
added theorem coe_sort_coe_trans