Theorem Ordinal.bsup_le_of_brange_subset

Modification history