Theorem Relation.is_graph_iff

Modification history