mathlib
f5fd2186 - feat(algebra/module/ordered): add pi instance (#4847)

Commit

5 years ago

feat(algebra/module/ordered): add pi instance (#4847)

References

#4925 - Make prime-avoidance branch build

Author

urkud

urkud

Parents

Loading