Theorem finprod_eq_if

Modification history