Skip to content

Replace quantifiers with array extensionality for map bijection in verifier#1132

Merged
copybara-service[bot] merged 1 commit into
mainfrom
test_952322614
Jul 22, 2026
Merged

Replace quantifiers with array extensionality for map bijection in verifier#1132
copybara-service[bot] merged 1 commit into
mainfrom
test_952322614

Replace quantifiers with array extensionality for map bijection in ve…

59cd48f
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar