Theorem Sigma.mk_le_mk_iff

Modification history

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