mathlib
3e52000c - feat(data/quot): `is_equiv` instance for quotient equivalence (#15148)

Commit

3 years ago

feat(data/quot): `is_equiv` instance for quotient equivalence (#15148)

Author

vihdzp

vihdzp

Parents

Loading