Theorem monotone_transfiniteIterate

Modification history