Theorem Set.isPwo_of_finite

Modification history