Theorem Module.finite_finsupp_self_iff

Modification history