Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-04-24 20:16 e4e46592

View on Github →

feat(tactic/generalize_hyp): a version of generalize that also applies to assumptions (#110)

Estimated changes

added theorem tactic.interactive.{u}