add_cancel_left — Mathlib · SciLib

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

add_cancel_left

Mathlib.Algebra.CharP.Two

URI: https://scilib.ai/kg/mathlib#CharTwo.add_cancel_left

← MathLib Explorer