Theorem DirectSum.support_of_subset

Modification history