mathlib

759516c7 - chore(ring_theory/dedekind_domain/ideal): speed up a proof (#14590)

chore(ring_theory/dedekind_domain/ideal): speed up a proof (#14590) ... which causes recurring timeout at irrelevant places, see https://github.com/leanprover-community/mathlib/pull/14585#issuecomment-1148222373 and referenced Zulip discussion. Feel free to push golfs that remains fast (1-2s)!