Theorem IsLprojection.compl_mul

Modification history