Theorem Ordinal.sup_le_lsub

Modification history