Formalizing Ordinal Partition Relations Using Isabelle/HOL
scientific article; zbMATH DE number 7566889
scientific article