mathlib4 icon indicating copy to clipboard operation
mathlib4 copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

chore(Mathlib/Algebra/BigOperators/Basic): unscope `∑ x ∈ s, f x` notations

Open Komyyy opened this issue 1 year ago • 0 comments

https://leanprover.zulipchat.com/#narrow/stream/287929-mathlib4/topic/Unscoping.20big.20operators Also, we change the notation for CategoryTheory.Limits.piObj from ∏ f to ∏ᶜ f.

Open in Gitpod

Komyyy avatar May 24 '24 19:05 Komyyy