Content deleted Content added
m →Example: lower case. |
|||
Line 28:
* [[Initial algebra]]
* [[Term algebra]]
* [[Theory of pure equality]]
==Notes==
|
m →Example: lower case. |
|||
Line 28:
* [[Initial algebra]]
* [[Term algebra]]
* [[Theory of pure equality]]
==Notes==
|