∫ Утверждение Mathlib
Mathlib.RepresentationTheory.Induced
URI: https://scilib.ai/kg/mathlib#Representation.ind_mk
← MathLib Explorer