Theorem Ordinal.lsub_eq_of_range_eq

Modification history