Idris2Doc : Data.Nat.Fact

Data.Nat.Fact

Properties of factorial functions