Theorem LowerAdjoint.closure_sup_closure

Modification history