Mathlib v3 is deprecated. Go to Mathlib v4

Def u

Modification history

2020-06-21 15:04

fix(tactic/set): use provided type for new variable (#3126) …

Added u View on Github →

2020-04-11 04:27

test/trunc_cases.lean

chore(*): switch to lean 3.8.0 (#2361) …

Modified u View on Github →

2020-04-10 18:03

test/trunc_cases.lean

feat(tactic/trunc_cases): a tactic for case analysis on trunc hypotheses (#2368) …

Added u View on Github →