Theorem Set.setOf_bijective

Modification history