Theorem Covby.of_image

Modification history