Theorem DirectSum.of_zero_pow

Modification history