Theorem ZFSet.omega_succ

Modification history