Theorem ZFSet.omega_zero

Modification history