Theorem Relation.comp_iff

Modification history