Commit 2022-12-08 22:23 87024ff9

chore: remove no-longer-needed sorries from Abel.lean (#915)

• one_zsmul and zsmul_zero were added for real in #874, so we no longer need to stub them out.
• We can now remove the sorries in zero_smulg and term_smul.