Theorem Set.seq_singleton

Modification history