Documentation

Mathlib.Data.Nat.Prime.Factorial

Prime natural numbers and the factorial operator #