[Merged by Bors] - doc(Tactic/Ring/Basic): fix documentation for ExProd.mkRat
#43422
Triggered via issue
February 25, 2025 12:17
mathlib-bors[bot]
Status
Success
Total duration
14s
Artifacts
–
maintainer_merge.yml
on: issue_comment
Ping maintainers on Zulip
5s