Theorem DirectSum.coeLinearMap_of

Modification history