[PRQ#72625] Merge Request for lean4 Accepted

[notify]

Request #72625 has been Accepted by Muflone [1]:

[Autogenerated] Accepted merge for lean4 into lean.

[1] https://aur.archlinux.org/account/Muflone/