mathlib

34352c2d - refactor(algebra/associated): change several instances from [integral_domain] to [comm_cancel_monoid_with_zero] (#3744)

refactor(algebra/associated): change several instances from [integral_domain] to [comm_cancel_monoid_with_zero] (#3744) defines `comm_cancel_monoid_with_zero` replaces some `integral_domain` instances with `comm_cancel_monoid_with_zero` prepares the API for refactoring `normalization_domain`, `gcd_domain`, and `unique_factorization_domain` to monoids Co-authored-by: Aaron Anderson <65780815+awainverse@users.noreply.github.com>