Theorem Concept.extent_subset_extent_iff

Modification history