Content deleted Content added
No edit summary |
typo in "composition" (?) |
||
Line 34:
'''constant''' '''x̄''' where '''x̄''':'''y''' = '''x'''
'''composition''' '''f'''
'''construction''' ['''f'''<sub>1</sub>,...'''f'''<sub>n</sub>] where ['''f'''<sub>1</sub>,...'''f'''<sub>n</sub>]:'''x''' = ⟨'''f'''<sub>1</sub>:'''x''',...,'''f'''<sub>n</sub>:'''x'''⟩
|