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