Theorem LinearMap.apply_single

Modification history