Theorem gauge_zero'

Modification history