Theorem Setoid.quotient_mk_sInf_eq

Modification history