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

unop_top

Mathlib.Algebra.Ring.Subsemiring.MulOpposite

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

← MathLib Explorer