∫ Утверждение Mathlib

superFactorial_two

Mathlib.Data.Nat.Factorial.SuperFactorial

URI: https://scilib.ai/kg/mathlib#Nat.superFactorial_two

← MathLib Explorer