mathlib3

0df19987 - doc(set_theory/*): more documentation about cardinals and ordinals (#6247)