Content deleted Content added
Line 18:
'''f''':'''⊥''' = '''⊥'''
Some functions have a '''unit''' value, such as
'''unit +''' = 0
'''unit ×''' = 1
| |||
Line 18:
'''f''':'''⊥''' = '''⊥'''
Some functions have a '''unit''' value, such as
'''unit +''' = 0
'''unit ×''' = 1
| |||