Theorem Function.monotone_iterate_of_id_le

Modification history