Theorem StrictMono.strictMono_iterate_of_lt_map

Modification history