Def IsFreeGroup.basis

Modification history

2024-02-09 22:56
Mathlib/GroupTheory/FreeGroup/IsFreeGroup.lean
chore: tidy various files (#10362)
Modified IsFreeGroup.basisView on Github →
2023-10-28 19:07
Mathlib/GroupTheory/FreeGroup/IsFreeGroup.lean
feat: change `IsFreeGroup` to a `Prop` (#7698) …
Added IsFreeGroup.basisView on Github →