Skip to content

chore(Algebra/BigOperators): add to_additive for expectation and antidiagonal lemmas - #42763

Open
attilavjda wants to merge 1 commit into
leanprover-community:masterfrom
attilavjda:chore/to-additive-antidiagonal-expect
Open

chore(Algebra/BigOperators): add to_additive for expectation and antidiagonal lemmas#42763
attilavjda wants to merge 1 commit into
leanprover-community:masterfrom
attilavjda:chore/to-additive-antidiagonal-expect

Commits

Commits on Aug 14, 2026