Theorem NumberField.mixedEmbedding.fundamentalCone.card_isPrincipal_dvd_norm_le

Modification history