Theorem Relation.transGen_idem

Modification history