Theorem eq_singleton_prod_subset_idRel

Modification history