Theorem WType.infinite_of_nonempty_of_isEmpty

Modification history