Theorem Concept.fst_ssubset_fst_iff

Modification history