Theorem NumberField.mixedEmbedding.integral_comp_polarCoordReal_symm

Modification history