add equational_result
attribute for tagging implications and negated implications
#93
Loading
equational_result
attribute for tagging implications and negated implications
#93