Theorem Finsupp.span_single_image

Modification history