Theorem gauge_lt_one_eq_self_of_open

Modification history