Theorem Concept.extent_injective

Modification history