Revision #3182 → #3235 · back to history
d9050a27d2c6| Field | From #3182 | To #3235 |
|---|---|---|
| mathlib.decl | gcd_mul_lcm | GCDMonoid.gcd_mul_lcm |
| provenance | ai | ai-moderated |
9f8be728d322| Field | From #3182 | To #3235 |
|---|---|---|
| mathlib.decl | gcd_mul_lcm | GCDMonoid.gcd_mul_lcm |
| provenance | ai | ai-moderated |