Mathlib v3 is deprecated. Go to Mathlib v4

Def v

Modification history

2020-06-21 15:04
test/set.lean
fix(tactic/set): use provided type for new variable (#3126) …
Added vView on Github →