Theorem interior_subset_gauge_lt_one

Modification history