Theorem egauge_univ_pi

Modification history