Theorem transfiniteIterate_limit

Modification history