Theorem LinearMap.mk₂_apply

Modification history