Theorem FiniteDimensional.exists_relation_sum_zero_pos_coefficient_of_rank_succ_lt_card

Modification history