Add induction principle for `tele_arg`.
Passed
Robbert Krebbers
created pipeline for commit
4a3e8ed0
, finished
Related merge request !374 to merge robbert/tele_arg_ind
4 minutes 10 seconds, queued for 5 seconds