Theorem Set.finite_isTop

Modification history