Theorem Ordinal.Principal.iterate_lt

Modification history