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

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

a4a1181
Select commit
Loading
Failed to load commit list.
Sign in for the full log view