Theorem LinearMap.mk₂'_apply

Modification history