Theorem Nat.card_pair_lcm_eq

Modification history

2024-12-06 16:19
Mathlib/Algebra/Order/Antidiag/Nat.lean
feat: Count the number of pairs of `Nat`s whose `lcm` is `n` (#17614) …
Added Nat.card_pair_lcm_eqView on Github →