fix: strengthen parent_hash_implies_event theorem
#126
| Job | Run time |
|---|---|
| 3m 29s | |
| 3m 29s |
parent_hash_implies_event theorem
#126
| Job | Run time |
|---|---|
| 3m 29s | |
| 3m 29s |