Theorem LowerAdjoint.monotone

Modification history