Theorem exists_nontrivial_relation_sum_zero_of_not_affine_ind

Modification history