Theorem IsLprojection.coe_sdiff

Modification history