Theorem LowerAdjoint.le_iff_subset

Modification history