induction_pr with arguments
Make a version of induction_pr with arguments.
"induction_pr H"
Same for "induction_ty_lex".
To upload designs, you'll need to enable LFS. More information
Make a version of induction_pr with arguments.
"induction_pr H"
Same for "induction_ty_lex".