Skip to content

fix PrimitiveElement vs. PrimitiveRoot#74

Merged
cdwensley merged 1 commit into
gap-packages:masterfrom
ThomasBreuer:TB_PrimitiveElement
Apr 8, 2025
Merged

fix PrimitiveElement vs. PrimitiveRoot#74
cdwensley merged 1 commit into
gap-packages:masterfrom
ThomasBreuer:TB_PrimitiveElement

Commits

Commits on Apr 8, 2025