Structure FreeAddGroupBasis

Modification history

2026-07-27 12:15

Mathlib/GroupTheory/FreeGroup/IsFreeGroup.lean

feat(GroupTheory/FreeGroup/IsFreeGroup): to_additive'ize file (#42109) …

Added FreeAddGroupBasis View on Github →