Theorem lift.SubfieldWithHom.exists_maximal_subfieldWithHom

Modification history