Theorem upperClosure_unionᵢ

Modification history