Theorem NumberField.mixedEmbedding.fundamentalCone.integralPointQuotEquivAssociates_apply

Modification history