Theorem Relation.equivalence_join_reflTransGen

Modification history