Theorem PSigma.lex_wf

Modification history

2024-08-15 12:19

Mathlib/Init/Data/Sigma/Lex.lean

chore: cleanup in Mathlib/Init/* (#15188) …

Deleted PSigma.lex_wf View on Github →

2023-07-17 00:18

Mathlib/Init/Data/Sigma/Lex.lean

feat: `prod.lex` is well-founded (#5943) …

Added PSigma.lex_wf View on Github →