Theorem LinearMap.dualMap_id

Modification history