path: root/coq/ex/mult3.v

Require Import mult2.

Definition foobar := if bar then foo else 2.