[Merged by Bors] - fix: patch for std4#198 (more mul lemmas for Nat
)
#36887
detect_sha_changes.yml
on: pull_request
Add annotations
17s
Nat
)
#36887