docs: properties for invariant testing#12

0xteddybear wants to merge 1 commit into

defi-wonderland:sc/superchain-erc20defi-wonderland/optimism:sc/superchain-erc20from

0xteddybear:test/superc20-invariants0xteddybear/optimism:test/superc20-invariantsCopy head branch name to clipboard