Theorem Relation.join_of_single

Modification history