Theorem NumberField.mixedEmbedding.negAt_signSet_apply_isReal

Modification history