[PRQ#70090] Orphan Request for lean4 Accepted

[notify]

Request #70090 has been Accepted by MarsSeed [1].

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