Def cross_product

Modification history