Theorem LinearMap.vecEmpty_apply

Modification history