Theorem List.Chain.induction_head

Modification history