Theorem Relation.flip_comp

Modification history