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

monoidHomCongrRight_refl

Mathlib.Algebra.Group.Equiv.Basic

URI: https://scilib.ai/kg/mathlib#MulEquiv.monoidHomCongrRight_refl

← MathLib Explorer