Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-01-09 10:08 f488635d

View on Github →

chore(tactic/monotonicity/interactive) use derive for has_reflect (#578)

Estimated changes

modified inductive tactic.interactive.rep_arity