Index of concepts for Week 10

• Abel’s lemma (for int-valued functions)
• Abel’s lemma (for nat-valued functions)
• do (tCPA tactic)
• fundamental theorem of calculus (for int-valued functions)
• fundamental theorem of calculus (for nat-valued functions)
• integers
• repeat (tCPA tactic)
• simpl (tCPA tactic)
• index-summations-over-integers
• index-summations-over-natural-numbers
• summation by parts (for int-valued functions)
• summation by parts (for nat-valued functions)
• two-by-two matrices

Version

Added the entries about Abel’s lemma, the fundamental theorem of calculus, integers, summations, and two-by-two matrices [08 Jun 2025]

Added an entry for the repeat tactic [06 Jun 2025]

Moved the entry for the ring tactic to Week 07 [05 Jun 2025]

Added an entry for the ring tactic [30 Mar 2025]

Created [28 Mar 2025]