History

for article: Residuated lattice