isUnit_iff_abs_eq — Mathlib · SciLib

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

isUnit_iff_abs_eq

Mathlib.Data.Int.Order.Units

URI: https://scilib.ai/kg/mathlib#Int.isUnit_iff_abs_eq

← MathLib Explorer