Mathlib v3 is deprecated. Go to Mathlib v4

Theorem infi_mem

Modification history

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