Theorem Derivation.coe_sub_linearMap

Modification history