trj2059

The below code from the Quantifiers and Equality chapter gives an "ambiguous, possible interpretations" error for this line: ```x ∣ y := h₁``` you can see it if you paste...