Theorem Finset.prod_ninvolution

Modification history

2024-08-15 11:25
Mathlib/Algebra/BigOperators/Group/Finset.lean
chore: Golf `prod_involution` (#15832) …
Added Finset.prod_ninvolutionView on Github →