Theorem IsLprojection.Lcomplement_iff

Modification history