Theorem Module.equiv_free_prod_directSum

Modification history