Theorem Module.exists_nontrivial_relation_sum_zero_of_finrank_succ_lt_card

Modification history