Theorem DirectSum.support_zero

Modification history