Theorem Derivation.coe_mk'_linearMap

Modification history