Theorem IsLprojection.mul_compl_self

Modification history