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

unop_comp_op

Mathlib.Algebra.Opposites

URI: https://scilib.ai/kg/mathlib#MulOpposite.unop_comp_op

← MathLib Explorer