Theorem Setoid.sInf_equiv

Modification history