fix skolemization in sqrt2_is_not_rational #366
Description
I managed to break this with something I pulled into master. I meant to test things pulled into master (via build all) -- somehow this slipped by.
{{ message }}
I managed to break this with something I pulled into master. I meant to test things pulled into master (via build all) -- somehow this slipped by.