Vector Clock Happens-Before Isomorphism Tested with Agda 2.6.2, Agda standard library 1.7. The isomorphism proof can be found here.