Theorem Sigma.Lex.lt_def

Modification history

2022-12-06 19:52
Mathlib/Data/Sigma/Order.lean
feat: port Data.Sigma.Order (#887) …
Added Sigma.Lex.lt_defView on Github →