conjneg_neg — Mathlib · SciLib

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

conjneg_neg

Mathlib.Algebra.Star.Conjneg

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

← MathLib Explorer