Documentation

Mathlib.Algebra.Group.Nat.Units

The unit of the natural numbers #

Units #

@[simp]
theorem Nat.isUnit_iff {n : } :
Equations