Theorem Set.setOf_false

Modification history