Mathlib v3 is deprecated. Go to Mathlib v4

Theorem setoid.le_Inf

Modification history

2020-04-10 15:39
src/data/setoid.lean
feat(order/complete_lattice): add a constructor from `partial_order` and `Inf` (#2359) …
Deleted setoid.le_InfView on Github →
2019-09-26 12:04
src/data/setoid.lean
feat(data/setoid): create file about setoids (#1453) …
Added setoid.le_InfView on Github →