Rewrite for set membership of the powerset of a record where the record has infinite co-domains.#2946

Merged

konnov merged 1 commit intoapalache-mc:mainfrom lemmy:mku-SubsetRecordInf

Aug 17, 2024

+108-1

Commits on Aug 16, 2024

Rewrite for set membership of the powerset of a record where the record has infinite co-domains.
lemmy
committed