Theorem Set.setOf_eq_eq_singleton'

Modification history