Theorem LinearMap.update_apply

Modification history