Mathlib v3 is deprecated. Go to Mathlib v4

Def T

Modification history

2020-06-21 15:04
test/set.lean
fix(tactic/set): use provided type for new variable (#3126) …
Added TView on Github →
2019-09-23 17:36
test/delta_instance.lean
feat(tactic/core): derive handler for simple instances (#1475) …
Added TView on Github →