Theorem Set.setOf_subset_setOf

Modification history