Theorem LowerAdjoint.ext

Modification history