Def NumberField.mixedEmbedding.stdBasis

Modification history