Theorem NumberField.mixedEmbedding.mixedSpaceOfRealSpace_apply

Modification history