Theorem LinearMap.inr_apply

Modification history