Theorem Ordinal.lsub_empty

Modification history