Static replication on a finite terminal support (source code)

= Static replication on a finite terminal support

When terminal stock price takes finitely many ordered values, every payoff function of that price can be represented on the support by cash plus a linear combination of adjacent-strike call spreads.