Theorem Set.prod_range_range_eq

Modification history