Big ops#113

lzy0505 wants to merge 9 commits intoleanprover-community:v4.26.0-unstableleanprover-community/iris-lean:v4.26.0-unstablefrom

lzy0505:big_op_map/setlzy0505/iris-lean:big_op_map/setCopy head branch name to clipboard