Abstract
This article contains many auxiliary theorems which were missing in the Mizar Mathematical Library [2] to the best of the author’s knowledge. Most of them regard graph theory as formalized in the GLIB series (cf. [8]) and most of them are preliminaries needed in [7] or other forthcoming articles.
Language: English
Page range: 23 - 39
Accepted on: Dec 30, 2019
Published on: May 29, 2020
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Publication frequency: 1 issue per year
Keywords:
Related subjects:
© 2020 Sebastian Koch, published by University of Białystok
This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 License.