Theorem upperClosure_unionₛ

Modification history