Theorem NumberField.mixedEmbedding.volume_negAt_plusPart

Modification history