Theorem Sigma.lt_def

Modification history

2025-06-04 14:26
Mathlib/Data/Sigma/Order.lean
chore: more whitespace fixes (#25437) …
Modified Sigma.lt_defView on Github →
2022-12-06 19:52
Mathlib/Data/Sigma/Order.lean
feat: port Data.Sigma.Order (#887) …
Added Sigma.lt_defView on Github →