Theorem DirectSum.lof_apply

Modification history