Theorem LinearMap.dualMap_surjective_iff

Modification history