Theorem Set.iInter_setOf

Modification history