∫ Утверждение Mathlib

instInvolutiveInvOfMulOpposite

Mathlib.GroupTheory.GroupAction.DomAct.Basic

URI: https://scilib.ai/kg/mathlib#DomMulAct.instInvolutiveInvOfMulOpposite

← MathLib Explorer