Theorem Module.equiv_directSum_of_isTorsion

Modification history