Theorem PSigma.revLex_wf

Modification history

2024-08-15 12:19
Mathlib/Init/Data/Sigma/Lex.lean
chore: cleanup in Mathlib/Init/* (#15188) …
Deleted PSigma.revLex_wfView on Github →
2023-07-17 12:18
Mathlib/Init/Data/Sigma/Lex.lean
feat: port Init.Data.Sigma.Lex (#5948)
Added PSigma.revLex_wfView on Github →