Theorem lowerClosure_min

Modification history