Commit 2024-02-09 16:54 c4cd464b
View on Github →docs: incorrect file name (#10382) docs(SetTheory/Ordinal/Basic.lean): fix file name Change OrdinalArithmetic.lean to Ordinal/Arithmetic.lean.
docs: incorrect file name (#10382) docs(SetTheory/Ordinal/Basic.lean): fix file name Change OrdinalArithmetic.lean to Ordinal/Arithmetic.lean.