Theorem rank_fun

Modification history