doc(Tactic/Ring/Basic): fix documentation for ExProd.mkRat (#22180)
#169294
mathlib-bors[bot]Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
import-graph
|
203 KB |
|