Theorem LinearMap.pi_apply

Modification history