Theorem RingCon.sInf_toSetoid

Modification history