Theorem NumberField.ComplexEmbedding.IsConj.ext_iff

Modification history