Theorem liminf_min

Modification history