Theorem NumberField.mixedEmbedding.indexEquiv_apply_isComplex_snd

Modification history