Theorem LinearMap.llcomp_apply

Modification history