Theorem Nat.count_modEq_card_eq_ceil

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_card_eq_ceilView on Github →