Theorem Setoid.ext'_iff

Modification history