Theorem LowerAdjoint.closure_is_closed

Modification history