Commit 2023-07-17 12:18 62590852

View on Github →

feat: port Init.Data.Sigma.Lex (#5948)

Estimated changes

added theorem PSigma.revLex_wf
added theorem PSigma.skipLeft_wf