Theorem Setoid.eqv_class_mem'

Modification history