mathlib3

ca872b62 - style(set_theory/game/nim): `O` → `o` (#15361)

style(set_theory/game/nim): `O` → `o` (#15361) This is the only file that uses uppercase variable names for ordinals - we standardize it to match all the others.