Year: 2025
Type: article
Abstract: Summary In this article the free product of groups is formalized in the Mizar system.
Source: Formalized Mathematics
Author: Sebastian Koch
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: diamond
OpenAlex ID: W7110791234