Commit 2023-10-05 13:18 a71a5026

View on Github →

feat: add forall_or_exists_not and exists_or_forall_not (#7458)

Estimated changes

added theorem exists_or_forall_not
added theorem forall_or_exists_not