Theorem LowerAdjoint.closure_union_closure

Modification history