Def Equiv.ofIsFreeGroupEquiv

Modification history

2025-04-03 15:49
Mathlib/GroupTheory/FreeGroup/GeneratorEquiv.lean
chore(GroupTheory/FreeAbelianGroupFinsupp): split file (#23626) …
Added Equiv.ofIsFreeGroupEquivView on Github →