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

coe_flip_mul

Mathlib.Algebra.Ring.Basic

URI: https://scilib.ai/kg/mathlib#AddMonoidHom.coe_flip_mul

← MathLib Explorer