Theorem upperClosure_eq

Modification history