tsub_right_comm — Mathlib · SciLib

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

tsub_right_comm

Mathlib.Algebra.Order.Sub.Defs

URI: https://scilib.ai/kg/mathlib#tsub_right_comm

← MathLib Explorer