Skip to content

feat(Data/Sym/Sym2): the first element of s(x, x) is x - #42980

Open
YaelDillies wants to merge 1 commit into
leanprover-community:masterfrom
YaelDillies:sym2_fst_out_mk_self
Open

feat(Data/Sym/Sym2): the first element of s(x, x) is x#42980
YaelDillies wants to merge 1 commit into
leanprover-community:masterfrom
YaelDillies:sym2_fst_out_mk_self

Commits

Commits on Aug 20, 2026