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

Merged

WojciechMazur merged 2 commits into3.5.xfrom

release-3.5.x-21017

Aug 28, 2024

Commits on Aug 28, 2024

Supplement structural givens doc

som-snytt
authored and
WojciechMazur
committed
Fix isomorphism tests of `AndOrType`s under non-empty `BinderPairs` (#21017)

EugeneFlesselle
authored and
WojciechMazur
committed