Theorem not_covby

Modification history