Theorem finprod_false

Modification history