Theorem Ordinal.lsub_le_of_range_subset

Modification history