Theorem OrderHom.sInf_apply

Modification history