Theorem Ordinal.ne_zero_of_out_nonempty

Modification history