Theorem upperClosure_interior_subset'

Modification history