∫ Утверждение Mathlib
carrier_eq_preimage_mk
Mathlib.Algebra.Group.Conj
URI: https://scilib.ai/kg/mathlib#ConjClasses.carrier_eq_preimage_mk
∫ Утверждение Mathlib
Mathlib.Algebra.Group.Conj
URI: https://scilib.ai/kg/mathlib#ConjClasses.carrier_eq_preimage_mk