Theorem Polynomial.UniversalCoprimeFactorizationRing.isCoprime_factor₁_factor₂

Modification history

2025-11-29 16:10
Mathlib/RingTheory/Polynomial/UniversalFactorizationRing.lean
feat(RingTheory): universal coprime factorization ring (#32099)
Added Polynomial.UniversalCoprimeFactorizationRing.isCoprime_factor₁_factor₂View on Github →