Theorem Set.pair_eq_singleton

Modification history