Theorem Set.set_compr_eq_eq_singleton

Modification history