Mathlib v3 is deprecated. Go to Mathlib v4

Theorem cardinal.lift_mk_shrink''

Modification history

2022-06-29 20:38
src/set_theory/cardinal/basic.lean
feat(model_theory/satisfiability): The Łoś–Vaught Test (#14758) …
Added cardinal.lift_mk_shrink''View on Github →