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

op_unop

Mathlib.Algebra.Ring.Subsemiring.MulOpposite

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

← MathLib Explorer