mathlib3

8020af26 - feat(algebra/algebra/ordered): ordered algebras