Theorem Relation.TransGen.tail'_iff

Modification history