Theorem subalgebra.mul_self
Modification history
2022-03-15 15:20
src/algebra/algebra/subalgebra/pointwise.lean
feat(algebra/algebra/subalgebra/pointwise): lemmas about `*` and `to_submodule` (#12695)
Modified subalgebra.mul_selfView on Github →2022-03-13 13:32
src/algebra/algebra/subalgebra/basic.lean
chore(algebra/algebra/subalgebra): reduce imports (#12636) …
Modified subalgebra.mul_selfView on Github →