Theorem NumberField.mixedEmbedding.fundamentalCone.integerSetToAssociates_eq_iff

Modification history