Theorem NumberField.mixedEmbedding.negAt_preimage

Modification history