mathlib
1bd23bf1 - feat(tactic/use): apply exists_prop after use (#1882)

Commit
6 years ago
feat(tactic/use): apply exists_prop after use (#1882) * feat(tactic/use): apply exists_prop after use * change implementation Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com> Co-authored-by: Rob Lewis <Rob.y.lewis@gmail.com>
Author
Parents
Loading