Fix isomorphism tests of AndOrType
s under non-empty BinderPairs
(…
#31497
This job succeeded
Loading
AndOrType
s under non-empty BinderPairs
(…
#31497