Theorem LinearMap.dualMap_injective_iff

Modification history