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

subtype_eq_val

Mathlib.GroupTheory.GroupAction.SubMulAction

URI: https://scilib.ai/kg/mathlib#SubMulAction.subtype_eq_val

← MathLib Explorer