mathlib3
49ccc9f7 - refactor(order/lexicographic): use prod.lex and psigma.lex (#914)
Commit
View On GitHub
Commit
6 years ago
refactor(order/lexicographic): use prod.lex and psigma.lex (#914) * refactor(order/lexicographic): use prod.lex and psigma.lex * update
Author
minchaowu minchaowu
Committer
ChrisHughes24 ChrisHughes24
Parents
89924726
FAQ Terms Privacy Refunds Impressum
Loading