Commit 2024-10-22 14:15 f94dd660

View on Github →

feat: 'and' and 'exist' commute for Antitone or Monotone properties (#17947)

Estimated changes