j
k
j a
j l
Ben Millwood writes:
The documentation and/or laws should probably be altered to prevent the definitions 'unit = const 1' and 'associate = id' :)
Good point. It should say that if x and y are factors of each other then associate x == associate y.
Back to the thread
Back to the list