Theorem fst_Con'

Modification history