Theorem Concept.strictMono_fst

Modification history