Theorem Concept.extent_sup

Modification history