Theorem egauge_prod_mk

Modification history