mathlib
8863666a - feat(ring_theory/ideals): prod_dvd_of_coprime (#2815)

Commit

5 years ago

feat(ring_theory/ideals): prod_dvd_of_coprime (#2815) Co-authored-by: kckennylau <kc_kennylau@yahoo.com.hk>

Author

kl-i

Parents