# Commit 2017-12-31 16:53 1bc2ac7a

View on Github →feat(data/ordinal): is_normal, omin, power/log, CNF, indecomposables, addition and multiplication of infinite cardinals

Mathlib v3 is deprecated. Go to Mathlib v4

feat(data/ordinal): is_normal, omin, power/log, CNF, indecomposables, addition and multiplication of infinite cardinals