∫ Утверждение Mathlib
neg_one_pow_ne_zero
Mathlib.Data.Int.Order.Units
URI: https://scilib.ai/kg/mathlib#Int.neg_one_pow_ne_zero
∫ Утверждение Mathlib
Mathlib.Data.Int.Order.Units
URI: https://scilib.ai/kg/mathlib#Int.neg_one_pow_ne_zero