Theorem ZFSet.regularity

Modification history