Documentation

Mathlib.Data.Nat.Factorial.SuperFactorial

Superfactorial #

This file defines the superfactorial sf n = 1! * 2! * 3! * ... * n!.

Main declarations #

sf notation for superfactorial

Equations
Instances For