mathlib3
1809eb40 - feat(tactic/default): import suggest (#1791)

Commit

6 years ago

feat(tactic/default): import suggest (#1791)

References

#1791 - feat(tactic/default): import suggest

Author

robertylewis

robertylewis

Committer

mergify[bot]

mergify[bot]

Parents

Loading