Theorem gauge_le_eq

Modification history