Theorem Nat.finMulAntidiag_three

Modification history

2024-12-21 08:53
Mathlib/Algebra/Order/Antidiag/Nat.lean
chore: tidy various files (#20130)
Modified Nat.finMulAntidiag_threeView on Github →
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.finMulAntidiag_threeView on Github →