Theorem IsLprojection.commute

Modification history