Backport "Fix isomorphism tests of `AndOrType`s under non-empty `BinderPairs`" to LTS#21986

Merged

WojciechMazur merged 1 commit intolts-3.3from

backport-lts-3.3-21017

Dec 2, 2024

Commits on Nov 21, 2024

Fix isomorphism tests of `AndOrType`s under non-empty `BinderPairs` (#21017)

EugeneFlesselle
authored and
prolativ
committed