mathlib
59cda3bb - feat(algebra/associated): Primes that divide each other are associated (#6732)

Commit

4 years ago

feat(algebra/associated): Primes that divide each other are associated (#6732) Primes that divide each other are associated

Author

thejohncrafter

Parents