Theorem IsLinearMap.mk'_apply

Modification history