Theorem Set.prod_range_univ_eq

Modification history