Theorem Ordinal.lsub_pos

Modification history