∫ Утверждение Mathlib
mk_tmul_inv
Mathlib.RepresentationTheory.Coinvariants
URI: https://scilib.ai/kg/mathlib#Representation.Coinvariants.mk_tmul_inv
∫ Утверждение Mathlib
Mathlib.RepresentationTheory.Coinvariants
URI: https://scilib.ai/kg/mathlib#Representation.Coinvariants.mk_tmul_inv