subalgebra): Lemmas about `alg_hom.range` (#10871)

Commit

4 years ago

feat(algebra/algebra/subalgebra): Lemmas about `alg_hom.range` (#10871) This PR adds a few lemmas about `alg_hom.range`.

Author

tb65536

Parents