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