Theorem Relation.equivalence_join

Modification history