Theorem Covby.exists_set_insert

Modification history