Def Fin.succFunEquiv

Modification history

2025-06-16 12:56
Mathlib/Logic/Equiv/Fin/Basic.lean
feat(GroupTheory): add Regular Wreath Product (#24816) …
Added Fin.succFunEquivView on Github →