Theorem LinearMap.mk₂'ₛₗ_apply

Modification history