I am not sure if this would be a proper title because I am a bit confused, but I was reading about proving Pascal's Triangle, and there was a proof on here I was following everything that was happening until the poster mentioned
$k! = \prod_{j=1}^k j$
He used this to basically reduce something like (n-k-1)!(n-k) to just (n-k) and (k-1)!k to just k!.
I've never seen this law before nor the symbol used in the formula, so I am a bit lost on what is actually going on.
Post I was looking at: Prove Pascal's Rule Algebraically