Theorem NumberField.mixedEmbedding.mixedEmbedding_apply_ofIsReal

Modification history