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

pos_eq_one

Mathlib.Data.Sign.Defs

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

← MathLib Explorer