Theorem Setoid.sup_def

Modification history