Theorem ZFSet.isOrdinal_iff_forall_mem_isOrdinal

Modification history