Theorem Ordinal.limitRecOn_limit

Modification history