Theorem Finset.prod_of_injOn

Modification history

2024-01-06 14:22
Mathlib/Algebra/BigOperators/Basic.lean
feat: Finite sum under an injective map (#9226) …
Added Finset.prod_of_injOnView on Github →