Mathlib Changelog
v4
Changelog
About
Github
Theorem
IsAlgClosed.lift.SubfieldWithHom.maximalSubfieldWithHom_eq_top
Modification history
2023-11-11 20:09
Mathlib/FieldTheory/IsAlgClosed/Basic.lean
chore: remove SubfieldWithHom (#8333) …
Deleted
IsAlgClosed.lift.SubfieldWithHom.maximalSubfieldWithHom_eq_top
View on Github →
2023-08-25 17:17
Mathlib/FieldTheory/IsAlgClosed/Basic.lean
chore(IsAlgClosed): move some defs about lift into IsAlgClosed namespace (#6754)
Added
IsAlgClosed.lift.SubfieldWithHom.maximalSubfieldWithHom_eq_top
View on Github →