Theorem RatFunc.rank_ratFunc_ratFunc

Modification history