Theorem Ordinal.sup_sequence_lt_omega1

Modification history