Theorem Set.iInter_iInter_eq'

Modification history