Theorem rank_punit

Modification history