Theorem Nat.count_modEq_card

Modification history

2024-03-15 12:53
Mathlib/Data/Int/CardIntervalMod.lean
feat: counting elements in an interval with given residue (#9348)
Added Nat.count_modEq_cardView on Github →