Theorem rank_finsupp_self'

Modification history