Commit 2023-12-26 07:02 9d6b50d7

chore(DedekindDomain): use wlog (#9278)

• Use wlog tactic instead of an explicit suffices.
• Restate a lemma in terms of an inequality between fractional ideals.
• Drop an unneeded assumption, thanks to @erdOne