Theorem rank_pi

Modification history