Multilinear Extensions

Before moving onto new proving systems, we must introduce a very necessary tool!