mathlib

0393ccbd - feat(ring_theory/algebra): subalgebra_of_subring (#664)