Theorem Rat.classNumber_eq

Modification history

2023-06-24 18:53

Mathlib/NumberTheory/NumberField/ClassNumber.lean

feat: port NumberTheory.NumberField.ClassNumber (#5456)

Added Rat.classNumber_eq View on Github →