mathlib3
34a44717 - chore(data/quot): `quot.mk` etc are surjective (#4517)

Commit

5 years ago

chore(data/quot): `quot.mk` etc are surjective (#4517)

References

#4925 - Make prime-avoidance branch build

Author

urkud

urkud

Parents

Loading