Index of concepts for Week 05

• addition (associativity)
• addition (commutativity)
• addition (left identity element)
• addition (left neutral element)
• addition (right neutral element)
• addition (right identity element)
• Aha! moment
• completeness (of an addition function)
• correctness (of a unit-test function for addition)
• Eureka lemma
• fold-unfold lemmas
• multiplication (associativity)
• multiplication (commutativity)
• multiplication (left absorbing element)
• multiplication (left-distributivity over addition)
• multiplication (left identity element)
• multiplication (left neutral element)
• multiplication (right absorbing element)
• multiplication (right-distributivity over addition)
• multiplication (right identity element)
• multiplication (right neutral element)
• muscle memory
• soundness (of an addition function)
• tCPA tactic (case)
• tCPA tactic (clear)
• tCPA tactic (contradiction)
• tCPA tactic (discriminate)
• tCPA tactic (injection)

Version

Added an entry for the clear tactic [16 Feb 2025]

Created [13 Feb 2025]