Theorem Function.iterate_prod_map

Modification history