3 Context-specific Buttons🔗
The following sections will be filled in when Dave has a bit of time to do so (note that the button names may not even be quite right).
3.1 Algebra🔗
3.2 If True and If False🔗
3.3 If Irrelevant🔗
3.4 Function Name to Body🔗
3.5 Variable Name to Definition🔗