Theorem LinearMap.IsProj.eq_conj_prodMap

Modification history