Abstract
This article contains many auxiliary theorems which were missing in the Mizar Mathematical Library to the best of the author’s knowledge. Most of them regard graph theory as formalized in the GLIB series and are needed in upcoming articles.
Language: English
Page range: 21 - 38
Accepted on: Mar 30, 2021
Published on: Aug 26, 2021
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Publication frequency: 1 issue per year
Keywords:
Related subjects:
© 2021 Sebastian Koch, published by University of Białystok
This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 License.