[Feature-request]: concentrated liquidity/ tick math properties #50
Description
Describe the desired feature or improvement
add invariants like https://twitter.com/CertoraInc/status/1727791536933323201
{{ message }}
add invariants like https://twitter.com/CertoraInc/status/1727791536933323201