Theorem LowerAdjoint.le_closure_iff

Modification history