Theorem Relation.TransGen.closed'

Modification history