Support `iInduction .. using ...`
Like induction ... using ...
; so one can more easily use custom induction principle like map_ind
.
Requested by @dfrumin
Like induction ... using ...
; so one can more easily use custom induction principle like map_ind
.
Requested by @dfrumin