theories/ticket_lock.v: simplify proof of release_spec#17

Flupp wants to merge 1 commit into

logsem:masterlogsem/iris-tutorial:masterfrom

Flupp:improve-ticket_lock-release_specFlupp/iris-tutorial:improve-ticket_lock-release_specCopy head branch name to clipboard