Theorem DirectSum.ext_component_iff

Modification history