Theorem Relation.reflTransGen_of_transitive_reflexive

Modification history