Theorem DirectSum.ext_component

Modification history