mathlib

82ff1e56 - feat(algebra/algebra/subalgebra): subalgebra.subsingleton (#4631)