Theorem Function.id_le_iterate_of_id_le

Modification history