Theorem eq_singleton_right_prod_subset_idRel

Modification history