Theorem Concept.fst_subset_fst_iff

Modification history