Theorem Submonoid.exists_finsupp_of_mem_closure_range

Modification history