Theorem sign_eq_of_affineCombination_mem_affineSpan_single_lineMap

Modification history