Def NumberField.mixedEmbedding.fundamentalCone.equivFinRank

Modification history