Theorem Filter.prod_infᵢ_right

Modification history