Theorem LinearMap.ofIsCompl_eq

Modification history