Theorem Wcovby.of_image

Modification history