Theorem Set.toFinite

Modification history