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

unop_op

Mathlib.Algebra.Ring.Subsemiring.MulOpposite

URI: https://scilib.ai/kg/mathlib#Subsemiring.unop_op

← MathLib Explorer