Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-11-21 19:22 58fc8301

View on Github →

fix(tactic/ext): handle case where goal is solved early (#1721)

  • fix(tactic/ext): handle case where goal is solved early
  • add test

Estimated changes

added structure dumb