Theorem eq_singleton_left_of_prod_subset_idRel

Modification history