The Product (Explicit)

My Lean (Explicit)