Theorem NumberField.mixedEmbedding.fundamentalCone.completeBasis_apply_of_ne

Modification history