Theorem Set.isWf_min_singleton

Modification history