Mathlib v3 is deprecated. Go to Mathlib v4

Def p

Modification history

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