Theorem LinearMap.single_apply

Modification history