properties
properties copied to clipboard
[Feature-request]: concentrated liquidity/ tick math properties
Describe the desired feature or improvement
add invariants like https://twitter.com/CertoraInc/status/1727791536933323201