Theorem ZFSet.toSet_sInter

Modification history