Theorem Ordinal.IsLimit.ne_zero

Modification history