instNonUnitalAlgHomClass — Mathlib · SciLib

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

instNonUnitalAlgHomClass

Mathlib.Algebra.Star.StarAlgHom

URI: https://scilib.ai/kg/mathlib#NonUnitalStarAlgHom.instNonUnitalAlgHomClass

← MathLib Explorer