Theorem upperClosure_empty

Modification history