Theorem le_egauge_prod

Modification history