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

instMulOfMulOpposite

Mathlib.GroupTheory.GroupAction.DomAct.Basic

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

← MathLib Explorer