[mlir][Properties] Shorten "Property" to "Prop" in most places#120368

krzysz00 merged 1 commit intomainllvm/llvm-project:mainfrom

users/krzysz00/shorten-prop-namesllvm/llvm-project:users/krzysz00/shorten-prop-namesCopy head branch name to clipboard