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

op_comp_unop

Mathlib.Algebra.Opposites

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

← MathLib Explorer