Theorem IsCoprime.mono

Modification history

2025-09-23 18:22
Mathlib/RingTheory/Coprime/Basic.lean
feat(gcongr): `@[gcongr]` for `gcd` and `IsCoprime` (#29889) …
Added IsCoprime.monoView on Github →