Theorem Function.minimalPeriod_prod_map

Modification history