Theorem DirectSum.component.lof_self

Modification history