Theorem Concept.sup_fst

Modification history