Theorem Finsupp.span_image_eq_map_total

Modification history