refactor: use step_fupd_mono more#404

ayhon wants to merge 1 commit into

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

ayhon:fele/minor/use-step_fupd_mono-moreayhon/iris-lean:fele/minor/use-step_fupd_mono-moreCopy head branch name to clipboard