Theorem LinearPMap.image_iff

Modification history