feat: Alternative definition for CMRA#11

markusdemedeiros wants to merge 1 commit intoleanprover-community:masterleanprover-community/iris-lean:masterfrom

markusdemedeiros:cmra-mimarkusdemedeiros/iris-lean:cmra-miCopy head branch name to clipboard