An example of formalizing recent mathematical results in MIZAR
scientific article; zbMATH DE number 5128345