# Commit 2022-10-19 07:41 813725f8

View on Github →feat(number_theory/kummer_dedekind): define conductor and add basic API plus theorem (#16833) In this PR we define the conductor ideal and prove some basic results about it. In a later PR (#16870), these will be used to prove the Dedekind-Kummer theorem in full generality.