Theorem lift.SubfieldWithHom.maximal_subfieldWithHom_chain_bounded

Modification history