mathlib
f633c948 - feat(tactic/basic): add tactic.rewrite, and sort list (#1039)

Commit

6 years ago

feat(tactic/basic): add tactic.rewrite, and sort list (#1039)

Author

jcommelin

jcommelin

Committer

mergify[bot]

mergify[bot]

Parents

Loading