Theorem Covby.exists_multiset_cons

Modification history