Theorem WithTop.sInf_empty

Modification history