Theorem Module.Flat.isTrivialRelation_of_sum_smul_eq_zero

Modification history