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

to_mul_symm_eq

Mathlib.GroupTheory.GroupAction.ConjAct

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

← MathLib Explorer