Theorem LowerAdjoint.closure_le_closed_iff_le

Modification history