Mathlib v3 is deprecated. Go to Mathlib v4

Theorem subrelation_iff_le

Modification history

2022-08-08 04:07
src/order/basic.lean
chore(order/basic): move `Prop.partial_order` to `order/basic` (#15884) …
Modified subrelation_iff_leView on Github →
2022-07-15 07:02
src/order/bounded_order.lean
feat(order/bounded_order): `subrelation r s ↔ r ≤ s` (#15357) …
Added subrelation_iff_leView on Github →