Theorem gauge_empty

Modification history