Theorem le_egauge_pi

Modification history