Theorem NumberField.mixedEmbedding.fundamentalCone.linearIndependent_completeFamily

Modification history