Theorem Ordinal.lsub_not_mem_range

Modification history