Mathlib v3 is deprecated. Go to Mathlib v4

Theorem ordinal.lift_card

Modification history

2017-12-20 23:25

data/ordinal.lean

refactor(data/ordinal): rearrange files, more cofinality

Added ordinal.lift_card View on Github →