Theorem Relation.reflexive_join

Modification history