SxY (Explicit)

Lean