Theorem LowerAdjoint.closure_iUnion_closure

Modification history