Library HoTT.Spaces.Nat

Nat.Paths has many dependencies, so if you do not need it, it is better to explicitly require only those files that you need.

Require Export Nat.Core.
Require Export Nat.Arithmetic.
Require Export Nat.Division.
Require Export Nat.Paths.
Require Export Nat.Factorial.