Theorem Set.isWF_empty

Modification history