fix: simp
fails to discharge autoParam
premises even when it can reduce them to True
#1362
Job | Run time |
---|---|
2s | |
2s |
simp
fails to discharge autoParam
premises even when it can reduce them to True
#1362
Job | Run time |
---|---|
2s | |
2s |