Theorem LinearMap.ofIsCompl_eq_add

Modification history