mathlib3

811f1862 - fix algebra/algebra/subalgebra/basic