Theorem Set.setOf_true

Modification history