Idris2Doc : Data.Nat.Fact

Data.Nat.Fact