Theorem iInf_of_empty'

Modification history