Theorem NumberField.mixedEmbedding.disjoint_negAt_plusPart

Modification history