Theorem RatFunc.finrank_ratFunc_ratFunc

Modification history