Theorem Set.toFinset_setOf

Modification history