Theorem Covby.le

Modification history