Fix proofs broken by previous commit.
Description
Description
Details
Details
- Provenance
Emin Karayel <me@eminkarayel.de> Authored on - Parents
- rAFPb5061e07b7f8: Universal_Hash_Families: Avoid using non-descriptive theory names.
- Branches
- Unknown
- Tags
Fix proofs broken by previous commit. Tags None Subscribers None |