Theorem Finset.gcd_eq_sum_mul

Modification history

2026-04-27 19:30
Mathlib/RingTheory/PrincipalIdealDomain.lean
feat(NumberTheory/Height/NumberField): results on heights over the rational numbers (#38183) …
Added Finset.gcd_eq_sum_mulView on Github →