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

Commit

6 years ago

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

References

Author

robertylewis

Committer

mergify[bot]

Parents