Theorem DirectSum.linearMap_ext

Modification history