Theorem Module.exists_smul_eq_zero_and_mk_eq

Modification history