Mathlib v3 is deprecated. Go to Mathlib v4

Theorem subalgebra.map_to_submodule

Modification history

2022-01-17 00:42
src/algebra/algebra/subalgebra.lean
feat(*): add to_sub* lemmas for `map`, `fg` (#11480) …
Added subalgebra.map_to_submoduleView on Github →