User blog comment:MilkyWay90/Finishing my very first notation - The Generalized Factorial/@comment-35470197-20190710234255/@comment-35470197-20190714232308

Then it includes an incomplete case classification, because there is no rule applicable to \(F_1(1,!,3,3!)\).