Mathlib v3 is deprecated. Go to Mathlib v4

Def dummy

Modification history

2020-04-11 04:27

test/tactics.lean

chore(*): switch to lean 3.8.0 (#2361) …

Modified dummy View on Github →

2019-09-27 14:10

test/tactics.lean

feat(reduce_projections): add reduce_projections attribute (#1402) …

Added dummy View on Github →