Theorem Covby.exists_finset_erase

Modification history