Mathlib v3 is deprecated. Go to Mathlib v4

Structure dumb

Modification history

2019-11-21 19:22

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

Added dumb View on Github →