Theorem Finset.prod_fiberwise_of_maps_to'

Modification history