Theorem List.prod_map_le_prod_map₀

Modification history