History

for article: Essential infimum and essential supremum