Theorem Concept.extent_ssubset_extent_iff

Modification history