Theorem ZFSet.IsOrdinal.mem_or_subset

Modification history