Theorem List.count_offDiag_eq_mul_sub_ite

Modification history

2026-01-13 17:24
Mathlib/Data/List/OffDiag.lean
feat: define `List.offDiag` (#33812) …
Added List.count_offDiag_eq_mul_sub_iteView on Github →