Theorem Finsupp.mem_ideal_span_range_iff_exists_finsupp

Modification history