Theorem Ordinal.sup_le_of_range_subset

Modification history