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

instMulOneClassOfMulOpposite

Mathlib.GroupTheory.GroupAction.DomAct.Basic

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

← MathLib Explorer