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 and have an admin enable hashed storage. More information
Make a version of induction_pr with arguments.
"induction_pr H"
Same for "induction_ty_lex".