Theorem Metric.closure_eq_interᵢ_thickening'

Modification history