Theorem lowerClosure_interior_subset'

Modification history