Theorem NumberField.mixedEmbedding.indexEquiv_apply_isComplex_fst

Modification history