Backport "Fix isomorphism tests of AndOrTypes under non-empty BinderPairs" to LTS#21986
Merged
WojciechMazur merged 1 commit intolts-3.3from Dec 2, 2024
Merged
Backport "Fix isomorphism tests of `AndOrType`s under non-empty `BinderPairs`" to LTS#21986WojciechMazur merged 1 commit intolts-3.3from
WojciechMazur merged 1 commit intolts-3.3from
Commits
Commits on Nov 21, 2024
- authored andcommitted
