Skip to content

Bugfix: TypedSymbol.is_negative should not be implemented in terms of super().is_positive

This can lead to surprising simplifications

Merge request reports

Loading