Theorem Concept.extent_sSup

Modification history