fix: Wrong priorities of AndIntoSep instances#555

MackieLoeffel merged 4 commits into

leanprover-community:masterleanprover-community/iris-lean:masterfrom

lzy0505:zliu/fix-icase-affinelzy0505/iris-lean:zliu/fix-icase-affineCopy head branch name to clipboard