Theorem factorization_eq_count

Modification history

2023-03-21 09:26

Mathlib/RingTheory/UniqueFactorizationDomain.lean

feat: port RingTheory.UniqueFactorizationDomain (#3003)

Added factorization_eq_count View on Github →