mathlib
045d931e - feat(tactic/find): find defs as well as theorems (#1512)

Commit

6 years ago

feat(tactic/find): find defs as well as theorems (#1512) * feat(tactic/find): find defs as well as theorems * use env.mfold * use try

References

Author

robertylewis

Committer

mergify[bot]

Parents