Theorem NumberField.mixedEmbedding.indexEquiv_apply_isReal

Modification history