Theorem rank_finsupp

Modification history