Theorem LinearMap.ofIsCompl_right_apply

Modification history