Theorem Ordinal.lsub_unique

Modification history