Theorem Set.isPWO_of_finite

Modification history