Theorem Ordinal.lsub_le_sup_succ

Modification history