Theorem NumberField.ComplexEmbedding.isReal_conjugate_iff

Modification history