Theorem Relation.TransGen.head_induction_on

Modification history