Mathematical Structures: History of Pointed residuated lattices

History of Pointed residuated lattices

Difference (from prior major revision) (minor diff, author diff)

Changed: 140c140

(full subcategory)<ms:class>Residuated lattices</ms:class>

<ms:class type="subvariety">Residuated lattices</ms:class>

Changed: 144c144

(onto objects)<ms:class>Residuated lattices</ms:class>

<ms:class type="reducts">Residuated lattices</ms:class>

	Revision 8 . . (edit) June 8, 2003 11:27 pm by Peter Jipsen