Theorem LowerAdjoint.closure_unionᵢ_closure

Modification history