Theorem rank_finsupp_self

Modification history