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

neg_eq_neg_one

Mathlib.Data.Sign.Defs

URI: https://scilib.ai/kg/mathlib#SignType.neg_eq_neg_one

← MathLib Explorer