Theorem Relation.TransGen.to_reflTransGen

Modification history