Theorem Finsupp.span_le_supported_biUnion_support

Modification history