Theorem LowerAdjoint.closure_union_closure_right

Modification history