Mathlib v3 is deprecated. Go to Mathlib v4

Theorem cinfi_le'

Modification history

2022-07-25 01:36
src/order/conditionally_complete_lattice.lean
refactor(set_theory/ordinal/basic): `ordinal.min` → `infi` (#14707) …
Added cinfi_le'View on Github →