complex formula in then as object of triple

Brought to you by: crapo, jinterra

#36 complex formula in then as object of triple

Status: open

Owner: nobody

Labels: Translation (3)

Priority: 5

Updated: 2012-11-20

Created: 2012-11-20

Creator: Anonymous

Private: No

BRep test case in sandbox--formula in then triple,

p of x is <formula>

not translated correctly.