Theorem Con.sInf_toSetoid

Modification history