Mathlib v3 is deprecated. Go to Mathlib v4

Def right_param

Modification history

2020-04-11 04:27

test/tactics.lean

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

Modified right_param View on Github →

2019-09-27 14:10

test/tactics.lean

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

Added right_param View on Github →