Theorem Module.length_eq_zero_of_subsingleton_ring

Modification history