arXiv:2104.11613 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords partition calculus, formalised theorem, proof assistant isabelle/hol, zermelo-fraenkel set theory, ordinal partitions Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset