Theorem gauge_zero

Modification history