Theorem NumberField.ComplexEmbedding.lift_algebraMap_apply

Modification history