Theorem Relation.TransGen.mono

Modification history