Theorem LinearMap.llcomp_apply'

Modification history