Theorem Covby.unique_right

Modification history