Commit 2024-03-25 14:43 e2e83b9d

View on Github →

chore(List/BigOperators): generalize a lemma (#11644) List.prod_map_neg doesn't need a CommMonoid.

Estimated changes

modified theorem List.prod_map_neg