Theorem OrderIso.liminf_apply

Modification history