Theorem egauge_pi'

Modification history