Index of concepts for Week 04

• 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)
• 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)
• soundness (of a unit-test function for addition)
• tCPA tactic (case)
• tCPA tactic (contradiction)
• tCPA tactic (discriminate)
• tCPA tactic (injection)

Version

Created [09 Feb 2024]