Theorem Set.isWF_min_singleton

Modification history