Theorem Ordinal.lsub_le_iff

Modification history