mathlib

5d02a270 - feat(algebra/module/ordered): add pi instance