mathlib3
d4aabf99 - doc(type_classes): Explain the use of {} instance arguments (#4976)

Commit

5 years ago

doc(type_classes): Explain the use of {} instance arguments (#4976) Closes gh-4660

Author

eric-wieser

Parents