Skip to content

Simplify witness invariants for bitfield domain #4026

Simplify witness invariants for bitfield domain

Simplify witness invariants for bitfield domain #4026