Theorem Ordinal.le_sub_of_le

Modification history