Mathlib Changelog
v4
Changelog
About
Github
Theorem
Subalgebra.range_comp_val
Modification history
2024-01-15 19:14
Mathlib/Algebra/Algebra/Subalgebra/Basic.lean
feat: add `equivMap[OfInjective]` for subalgebra and intermediate field (#9709) …
Added
Subalgebra.range_comp_val
View on Github →