mathlib
f5bd340c - cleanup(*): removing uses of bare `have` (#676)

Commit

6 years ago

cleanup(*): removing uses of bare `have` (#676)

References

#676 - cleanup(*): removing uses of bare `have`

Author

kim-em

kim-em

Committer

johoelzl

johoelzl

Parents

Loading