Theorem Set.finite_singleton

Modification history