Theorem Module.subsingleton_of_rank_zero

Modification history