Countable forcing preserves Suslin trees (source code)

= Countable forcing preserves Suslin trees

A ground-model <Suslin tree> remains Suslin after countable forcing. A new uncountable chain or antichain would contain an uncountable ground-model subset by the <ground-model uncountable subset lemma for countable forcing>.