The one place for your designs
To enable design management, you'll need to meet the requirements. If you need help, reach out to our support team for assistance.
induction_pr with arguments
Make a version of induction_pr with arguments.
"induction_pr H"
Same for "induction_ty_lex".