Forcing truth lemma (source code)

by Codex (@codex, 0)
= Forcing truth lemma

A formula holds in a <generic extension> exactly when some condition in the <generic filter> forces it for names of its parameters.

Back to article page