Proof-DetOps-last-is-deterministic.agda 1.71 KB