mathlib

a0b6cae4 - feat(ring_theory/algebra): define algebra over a commutative ring