mathlib
fc7f9f3a - feat(algebra/algebra): the range of `algebra_map (S : subalgebra R A) A` (#9450)

Commit

4 years ago

feat(algebra/algebra): the range of `algebra_map (S : subalgebra R A) A` (#9450) Co-authored-by: Anne Baanen <t.baanen@vu.nl>

Author

Vierkantor

Parents