Theorem symmetric_isRelPrime

Modification history

2025-06-01 19:52

Mathlib/Algebra/Divisibility/Units.lean

feat(RingTheory/Radical): generalise and fill in TODOs (#25335) …

Added symmetric_isRelPrime View on Github →