Theorem LinearMap.dualMap_apply

Modification history