Yamaguchi Lean 4 Library
Homepage
Source: ProCGroups.FreeProducts
ProCGroups
/
FreeProducts
/
Source
Source: ProCGroups.FreeProducts
1
import
ProCGroups.FreeProducts.UniversalProperty
2
3
/-!
4
# Pro C Groups / Free Products
5
6
This aggregate exports the universal property and basic API for free pro-\(C\) products.
7
-/