History

for article: Residuated mapping