Theorem Relation.TransGen.head'_iff

Modification history