[michocoq] trivial lemmas on timestamp comparison
These 4 lemmas on timestamp comparison were already proved for other comparable types. This is a straightforward adaptation.
These 4 lemmas on timestamp comparison were already proved for other comparable types. This is a straightforward adaptation.