Theorem Relation.ReflTransGen.trans_induction_on

Modification history