Theorem Setoid.comap_rel

Modification history