Theorem NumberField.mixedEmbedding.fundamentalCone.intNorm_idealSetEquiv_apply

Modification history