Theorem Set.covby_insert

Modification history