Theorem Setoid.symm'

Modification history