Theorem NumberField.ComplexEmbedding.lift_comp_algebraMap

Modification history