mathlib3

f3a4c480 - feat(algebra/subalgebra): missing norm_cast lemmas about operations (#6790)

feat(algebra/subalgebra): missing norm_cast lemmas about operations (#6790) Co-authored-by: Scott Morrison <scott.morrison@gmail.com> Co-authored-by: Eric Wieser <wieser.eric@gmail.com>