Theorem Relation.TransGen.trans_right

Modification history