P
Initializing...
smulBody_runs (Schoolbook multiplication in the item language (base case)) · Prove2Me