Theorem Set.inter_iUnion

Modification history