Theorem rank_fun'

Modification history