Theorem NumberField.mixedEmbedding.fundamentalCone.sum_eq_zero_of_mem_span_completeFamily

Modification history