Theorem NumberField.mixedEmbedding.fundamentalCone.completeBasis_apply_of_eq

Modification history