Theorem AbsoluteValue.IsAdmissible.exists_partition
Modification history
2024-02-07 05:43
Mathlib/NumberTheory/ClassNumber/AdmissibleAbsoluteValue.lean
chore(ClassNumber/AdmissibleAbsoluteValue): Fintype -> Finite (#10309)
Modified AbsoluteValue.IsAdmissible.exists_partitionView on Github →