Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2022-01-17 00:42
6d19ebaa
View on Github →
feat(
): add to_sub
lemmas for
map
,
fg
(
#11480
) From flt-regular.
Estimated changes
Modified
src/algebra/algebra/subalgebra.lean
added
theorem
subalgebra.map_to_submodule
added
theorem
subalgebra.map_to_subsemiring
Modified
src/ring_theory/noetherian.lean
added
theorem
subalgebra.fg_bot_to_submodule