Theorem Group.rank_congr

Modification history