Theorem NumberField.mixedEmbedding.injective_mixedSpaceOfRealSpace

Modification history