mathlib3
e6c6764d - feat(logic/relation): Add missing instances (#13704)

Commit

4 years ago

feat(logic/relation): Add missing instances (#13704) Co-authored-by: Eric Wieser <wieser.eric@gmail.com>

Author

vihdzp

Parents