∫ Утверждение Mathlib
invRev_involutive
Mathlib.GroupTheory.FreeGroup.Basic
URI: https://scilib.ai/kg/mathlib#FreeGroup.invRev_involutive
∫ Утверждение Mathlib
Mathlib.GroupTheory.FreeGroup.Basic
URI: https://scilib.ai/kg/mathlib#FreeGroup.invRev_involutive