Theorem LinearPMap.vadd_apply

Modification history