[Merged by Bors] - fix: patch for std4#198 (more mul lemmas for Nat
)
#14432
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
lint_and_suggest_pr.yml
on: pull_request
Lint style
41s
Check all files imported
12s