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

toUnit_unop_hom

Mathlib.Algebra.Category.CommAlgCat.Monoidal

URI: https://scilib.ai/kg/mathlib#CommAlgCat.toUnit_unop_hom

← MathLib Explorer