Sziasztok!
Varhato modon en voltam a buta.
A hibat nem az
A = (X #= Y),
hivas okozta, hanem kicsit kesobb egy
UjFeltetelek = (A #= B) #/\ Feltetelek,
es a problema megoldodott amint bezarojeleztem az egyenloseg utani reszt:
UjFeltetelek = ((A #= B) #/\ Feltetelek),
Udv
Zsolt
Show replies by date