Theorem IsLprojection.Lcomplement

Modification history