This is the accompanying material for the paper:

by K.Pąk and C.Kaliszyk submitted to ITP 2022

The formalization is compatible with the latest Mizar windows version 8.1.11 5.68.1412

In order to recheck the formalization:

The package "pack2" includes improvements to the formalization based on the reviewer comments.
Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory - [   ] pack2.tgz 26-Apr-2022 11:20 202K
Apache/2.2.3 (Red Hat) Server at cl-informatik.uibk.ac.at Port 80