Theorem frontier_prod_eq

Modification history