Theorem LinearMap.injOn_iff_surjOn

Modification history