Theorem NumberField.mixedEmbedding.mixedEmbedding_apply_isReal

Modification history