Fix isomorphism tests of AndOrType
s under non-empty BinderPairs
(…
#44
Job | Run time |
---|---|
46s | |
46s |
AndOrType
s under non-empty BinderPairs
(…
#44
Job | Run time |
---|---|
46s | |
46s |