Theorem ZFSet.isOrdinal_iff_forall_mem_isTransitive

Modification history