Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-06-21 15:04 d097161b

View on Github →

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

Estimated changes

added def S
added def T
added def p
added def u
added def v