Theorem Derivation.coe_to_linearMap_comp

Modification history