Theorem egauge_zero_zero

Modification history