Theorem Finset.prod_range_diag_flip

Modification history

2024-02-15 20:01
Mathlib/Algebra/BigOperators/Intervals.lean
chore(CauSeq): Cleanup (#10530) …
Added Finset.prod_range_diag_flipView on Github →