fix: simp fails to discharge autoParam premises even when it can reduce them to True
#12848
The logs for this run have expired and are no longer available.
Loading