Theorem Relation.TransGen.trans_induction_on

Modification history