Theorem Ordinal.lsub_const

Modification history