Theorem NumberField.mixedEmbedding.stdBasis_apply_isReal

Modification history