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

of_mul_symm_eq

Mathlib.GroupTheory.GroupAction.ConjAct

URI: https://scilib.ai/kg/mathlib#ConjAct.of_mul_symm_eq

← MathLib Explorer