Structure AbsoluteValue.IsAdmissible

Modification history

2023-01-30 13:16

Mathlib/NumberTheory/ClassNumber/AdmissibleAbsoluteValue.lean

feat: port NumberTheory.ClassNumber.AdmissibleAbsoluteValue (#1941)

Added AbsoluteValue.IsAdmissible View on Github →