Theorem ZFSet.IsOrdinal.not_mem_iff_subset

Modification history