Theorem Set.isWF_singleton

Modification history