Theorem Con.sInf_def

Modification history