Mathlib v3 is deprecated. Go to Mathlib v4

Def S

Modification history

2020-06-21 15:04
test/set.lean
fix(tactic/set): use provided type for new variable (#3126) …
Added SView on Github →
2019-10-01 18:48
test/delta_instance.lean
feat(tactic/delta_instance): handle parameters and use in library (#1483) …
Added SView on Github →
2019-04-05 14:37
test/mllist.lean
feat(data/mllist): monadic lazy lists (#865) …
Added SView on Github →