Theorem interior_interᵢ_subset

Modification history