Theorem FreeGroupBasis.reindex_apply

Modification history

2026-07-27 12:15
Mathlib/GroupTheory/FreeGroup/IsFreeGroup.lean
feat(GroupTheory/FreeGroup/IsFreeGroup): to_additive'ize file (#42109) …
Modified FreeGroupBasis.reindex_applyView on Github →
2023-10-28 19:07
Mathlib/GroupTheory/FreeGroup/IsFreeGroup.lean
feat: change `IsFreeGroup` to a `Prop` (#7698) …
Added FreeGroupBasis.reindex_applyView on Github →